(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_LRA)
(declare-fun v0 () Real)
(declare-fun v1 () Real)
(assert (let ((e2 3))
(let ((e3 1))
(let ((e4 0))
(let ((e5 (+ v1 v1)))
(let ((e6 (- v0 v0)))
(let ((e7 (* e6 (- e4))))
(let ((e8 (+ e7 e5)))
(let ((e9 (- e8 e5)))
(let ((e10 (/ e4 (- e3))))
(let ((e11 (- e9)))
(let ((e12 (/ e2 (- e2))))
(let ((e13 (distinct e5 e8)))
(let ((e14 (distinct e12 e9)))
(let ((e15 (<= e8 e7)))
(let ((e16 (distinct e10 e11)))
(let ((e17 (<= v1 v0)))
(let ((e18 (distinct e6 v1)))
(let ((e19 (ite e13 e6 e8)))
(let ((e20 (ite e17 v1 e11)))
(let ((e21 (ite e15 v0 e10)))
(let ((e22 (ite e18 e12 v1)))
(let ((e23 (ite e18 e7 e7)))
(let ((e24 (ite e17 e5 e7)))
(let ((e25 (ite e14 e8 e9)))
(let ((e26 (ite e16 e5 e12)))
(let ((e27 (<= e6 e26)))
(let ((e28 (distinct e24 e25)))
(let ((e29 (>= e21 v1)))
(let ((e30 (= e10 e24)))
(let ((e31 (>= e5 e8)))
(let ((e32 (<= e7 e6)))
(let ((e33 (distinct e24 e11)))
(let ((e34 (<= e21 e25)))
(let ((e35 (> e23 e10)))
(let ((e36 (distinct e22 e12)))
(let ((e37 (<= e23 e20)))
(let ((e38 (> e10 v0)))
(let ((e39 (= e12 e19)))
(let ((e40 (distinct v0 e10)))
(let ((e41 (>= e22 e7)))
(let ((e42 (< e21 e20)))
(let ((e43 (= e8 e10)))
(let ((e44 (> e6 e19)))
(let ((e45 (< e8 e9)))
(let ((e46 (not e14)))
(let ((e47 (not e44)))
(let ((e48 (and e37 e42)))
(let ((e49 (or e48 e34)))
(let ((e50 (and e46 e32)))
(let ((e51 (ite e15 e50 e28)))
(let ((e52 (and e38 e33)))
(let ((e53 (= e17 e39)))
(let ((e54 (=> e45 e31)))
(let ((e55 (=> e51 e41)))
(let ((e56 (and e16 e16)))
(let ((e57 (or e27 e30)))
(let ((e58 (ite e52 e18 e53)))
(let ((e59 (ite e40 e13 e58)))
(let ((e60 (xor e59 e49)))
(let ((e61 (or e29 e54)))
(let ((e62 (and e60 e57)))
(let ((e63 (or e47 e36)))
(let ((e64 (and e63 e43)))
(let ((e65 (not e55)))
(let ((e66 (= e35 e61)))
(let ((e67 (and e62 e65)))
(let ((e68 (xor e66 e64)))
(let ((e69 (or e68 e56)))
(let ((e70 (and e67 e69)))
e70
))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

(check-sat)
